Indirect disjunctive belief rule base modeling using limited conjunctive rules: Two possible means

A Logic of Limited Belief for Reasoning with Disjunctive Information

The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches that come equipped with a perspicuous model theory either result in reasoners that are too limited from a practical point of view or fall off the computational cliff. In this paper, we propose a new logic of belief call...

Two Sudoku Rules in Conjunctive Normal Form

Implementing Daily Dosing Rules Using a Commercial Rule Base

We had previously developed and implemented a pharmacy expert system (DoseRanger) that examines drug orders for appropriate single dosage using a commercial rule base and patient specific information. A set of rule adjustments were described and evaluated in order to reduce clinically insignificant alerts. A similar analysis has been performed for daily dose rules provided by the commercial rul...

Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning

We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specification, we first disjunctively partition the transition relation of the system, then conjunctively partition each disjunct. Our new encoding recognizes identity transformations of state variables and exploits event locality, enablin...

Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence

Dempster’s rule plays a central role in the theory of belief functions. However, it assumes the combined bodies of evidence to be distinct, an assumption which is not always verified in practice. In this paper, a new operator, the cautious rule of combination, is introduced. This operator is commutative, associative and idempotent. This latter property makes it suitable to combine belief functi...